Solving two production scheduling problems with sequence-dependent set-up times

In today�s competitive markets, the importance of good scheduling strategies in manufacturing companies lead to the need of developing efficient methods to solve complex scheduling problems. In this paper, we studied two production scheduling problems with sequence-dependent setups times. The setup times are one of the most common complications in scheduling problems, and are usually associated with cleaning operations and changing tools and shapes in machines. The first problem considered is a single-machine scheduling with release dates, sequence-dependent setup times and delivery times. The performance measure is the maximum lateness. The second problem is a job-shop scheduling problem with sequence-dependent setup times where the objective is to minimize the makespan. We present several priority dispatching rules for both problems, followed by a study of their performance. Finally, conclusions and directions of future research are presented.Production-scheduling, set-up times, priority dispatching rules

O uso do marcapasso na dextrorrotaçao do coraçao

Relatamos o caso de um paciente com BAVT, miocardiosclerótico, muito sintomático, no qual se evidenciou posiçao anômala do coraçao (Dextrorrotaçao ou Dextroversao) (Dtr). Foi submetido inicialmente à estimulaçao temporária (E.T.) para estabilizaçao hemodinâmica, GFIII (NYHA), sendo depois implantado o marcapasso definitivo (MP) VVICO, com excelente evoluçao pós-operatória. A estimulaçao bicameral e responsiva nao foi usada devido às condiçoes cardíacas e gerais do paciente

COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1

This report presents the activities of the first working group of the COST Action ArVI, Runtime Verification beyond Monitoring. The report aims to provide an overview of some of the major core aspects involved in Runtime Verification. Runtime Verification is the field of research dedicated to the analysis of system executions. It is often seen as a discipline that studies how a system run satisfies or violates correctness properties. The report exposes a taxonomy of Runtime Verification (RV) presenting the terminology involved with the main concepts of the field. The report also develops the concept of instrumentation, the various ways to instrument systems, and the fundamental role of instrumentation in designing an RV framework. We also discuss how RV interplays with other verification techniques such as model-checking, deductive verification, model learning, testing, and runtime assertion checking. Finally, we propose challenges in monitoring quantitative and statistical data beyond detecting property violation

Stylet (vestigial shell) size in Octopus vulgaris (Cephalopoda) hatchlings used to determine stylet nucleus in adults

7 páginas, 1 tablas, 3 figurasThe estimation of age and growth of cephalopod stocks is a key issue for their sustainable management. Recently, several studies have successfully validated the daily deposition of growth rings in the vestigial shell or stylets of several octopus species. Octopus vulgaris eggs were incubated at two different temperatures, 18 and 22°C, until hatching to determine stylet size at hatching and assess the effect of temperature in the stylet dimensions. The 3-day-old hatchlings were sectioned transversally and 6 μm sections were stained to enhance the stylet position and visibility. The sections were observed under transmitted light microscopy at a magnification of 1000×, and the stylets identified as blue/green structures inside the mantle–funnel retractor muscle. The transversal sections of the whole paralarvae allowed the diameter of the embryonic stylet of an octopus species to be measured for the first time. The mean stylet diameter in 3-day-old paralarvae is 3.99 μm independently of the thermal conditions. Moreover, significant differences in stylet size between captive and wild paralarvae were observed; the latter showed significantly larger stylets, an indication that they are over 3 days old. Our results also indicate that the stylet nucleus is much smaller than previously thought based on measurements in stylets of juveniles and adultsThis study was supported by the projects CAIBEX (CTM2007-66108-C02-01) and LARECO (CTM2011-25929). The MultiNet® sampler used to collect wild paralarvae was funded by FEDER funds. The Portuguese Foundation for Science and Technology (FCT) supported this study through a PhD grant to Sílvia Lourenço (grant number SFRH/BD/44182/2008) and the project grant PTDC/BIA-BEC/103266/2008 to Rui Rosa.Peer reviewe

Small-size MEMS accelerometer encapsulated in vacuum using Sigma-Delta modulation

A vacuum encapsulated MEMS accelerometer using Sigma-Delta modulation is here presented. Three different modulation orders (second, third, and fourth) were implemented in a field-programable gate array (FPGA), enabling flexibility for tuning the loop parameters in real-time. Three devices were measured, and the results are in good agreement with simulations performed in Simulink. A noise figure of 123 μg/√Hz for a bandwidth of 400 Hz and a range of at least ±1 g was experimentally measured. A figure of merit considering device size and bandwidth is proposed, highlighting the relevance of the results for the current state of the art.FCT - Fundação para a Ciência e a Tecnologia (PDE/BDE/114563/2016

Radiographic anatomy of the proximal femur: correlation with the occurrence of fractures

OBJECTIVE: To evaluate the correlation between radiographic parameters of the proximal femur anatomy and fractures. METHODS: Three hundred and five digital x-rays of the pelvis were analyzed in the anteroposterior view. Of these x-rays, twenty-seven showed femoral neck or transtrochanteric fractures. The anatomical parameters analyzed were: femoral neck width (FNW), femoral neck length (FNL), femoral axis length (FAL), cervicodiaphyseal angle (CDA), acetabular tear-drop distance (ATD) and great trochanter-pubic symphysis distance (GTPSD). The analysis was performed by comparing the results of the x-rays with and without proximal femoral fracture, to establish a correlation between them. RESULTS: No differences were found between the anatomical parameters of the groups with and without proximal femoral fracture. CONCLUSION: There was no association between anatomical changes in the proximal femur and greater susceptibility to fractures. Level of evidence IV, Cross-sectional Study.OBJETIVO: Avaliar se existe correlação entre parâmetros radiográficos da anatomia da região proximal do fêmur e a ocorrência de fraturas. MÉTODOS: Trezentas e cinco radiografias digitais da bacia foram analisadas na incidência ântero-posterior. Destas radiografias, vinte e sete apresentavam fratura do colo femoral ou transtrocantérica. Os parâmetros anatômicos analisados foram: Largura do colo femoral (LCF), comprimento do colo femoral (CCF), comprimento do eixo femoral (CEF), ângulo cérvico-diafisário (ACD), distância entre as lágrimas acetabulares (DLA) e a distância grande trocânter- sínfise púbica (DGTSP).Foram analisadas, comparativamente, as radiografias com e sem fratura da região proximal do fêmur, para verificar se existem parâmetros radiográficos que estão associados com maior probabilidade de ocorrência de fratura do colo femoral ou transtrocantérica. RESULTADOS: Não foi encontrada diferença entre os parâmetros anatômicos dos grupos com e sem fratura na região proximal do fêmur. CONCLUSÃO: Não foi encontrada nenhuma associação entre alterações anatômicas na região proximal do fêmur e maior susceptibilidade à ocorrência de fraturas. Nível de evidência IV, Estudo Transversal.Universidade Federal de Minas GeraisUniversidade Federal de São Paulo (UNIFESP) Escola Paulista de MedicinaUNIFESP, EPMSciEL

Cobertura do solo, evapotranspiração e produtividade do milho safrinha

Objetivou-se avaliar a influência da cobertura do solo na evapotranspiração e nas características produtivas do milho safrinha na região de Tangará da Serra - MT. O experimento foi conduzido no campo experimental da UNEMAT, no ano de 2016, com três tratamentos e 28 repetições, sendo: sem cobertura vegetal; cobertura com 4 t ha-1 e cobertura com 8 t ha-1 de massa seca de braquiária. A evapotranspiração da cultura do milho – ETc, foi determinada através de lisímetros de pesagem e a evaporação do solo foi determinada em microlisímetros. A ETc acumulada para o tratamento sem cobertura vegetal foi de 335,94 mm; 304,60 mm com cobertura de 4 t ha-1 de braquiária e 332,05 mm com cobertura de 8 t ha-1 de braquiária. A evaporação do solo foi reduzida em 68,64 mm, quando utilizado cobertura de 4 t ha-1, em 74,74 mm quando utilizou-se 8 t ha-1. A transpiração aumentou 36,58 mm e, 69,65 mm, respectivamente, em relação ao tratamento sem cobertura do solo. Todas as variáveis de características produtivas do milho foram influenciadas positivamente pelo uso de cobertura do solo. A produtividade foi de 8264,67; 9929,18 e 9939,52 kg ha-1, para os tratamentos sem cobertura, com cobertura de 4 t ha-1 e 8 t ha-1, respectivamente

ENSAIO DE ÉPOCAS E DENSIDADE DE PLANTAS DE DUAS CULTIVARES DE AMENDOIM

: O amendoim (Arachis hypogea L.) é uma oleaginosa de grande importância para a produção de óleo, tanto para alimentação humana quanto na indústria, sua produção é oriunda em maior escala da região sudeste e seguida pelo Centro Oeste, o Estado de Mato Grosso prioriza o cultivo em segunda safra favorecendo a ciclagem de nutrientes e rotação de culturas na região. Este trabalho teve como objetivo avaliar a influência da época de semeadura sobre a densidade de plantas para duas cultivares de amendoim, (C1 - IAC Tatu ST e C2 - IAC Runner 886). O delineamento experimental utilizado foi em blocos casualizados em esquema fatorial 2x3x4, com 4 repetições, dispostos na área experimental da Universidade do Estado de Mato Grosso (UNEMAT), – Campus Universitário de Tangará da Serra - MT. A semeadura foi realizada em quatro datas, sendo: E1 - 16/02; E2 - 26/02; E3 - 08/03 e E4 - 20/03, avaliando três densidades de plantas por metro linear (D1 – 5; D2 – 10 e D3 - 15 plantas m-1), com 4 repetições. A C1 e C2, apresentou produtividade média em grãos de1564 kg ha-1 e 2491 kg ha-1 respectivamente, para a D2, com semeadura realizada na E1. A melhor época de semeadura para as duas cultivares foi a E1, já a melhor densidade de plantas por metro linear foi a de 10 pl m-1. A C2 apresentou produtividade média de 1143 kg ha-1 de grãos, contra 777 kg ha-1 da C1

Revista de Vertebrados de la Estación Biológica de Doñana

The Osteology of Barbus bocagei (Steindachner, 1866) (Pisces: Cyprinidae).El crecimiento del Cacho (Leuciscus cephalus pyraenaicus Günther, 1862) en el rio Jarama (cuenca del Tajo)Contribución al estudio de la bermejuela, Rutilus arcasi, Steindachner 1866 de la cuenca del Júcar (Osteichthyes: Cyprinidae) 1. MorfometríaDimensiones, estructura, forma y disposición en la cavidad de los nidos de Corvus monedula.Variaciones altitudinales en la composición de las comunidades nidificantes de aves de Sierra Nevada (Sur de España)Ecomorfología de una comunidadde Passeriformes en la Sierra de Cazorla, SE de EspañaLa Distribución del pez-sol (Lepolllis gibbostlS L.) en la Península IbéricaSobre la distribución de Barbus haasi (OSTARIOPHYSI: CYPRINIDAE)La Distribución de Barbus bocagei STEINDACHNER, 1865 (OSTARIOPHYSI: CYPRINIDAE) en la Península IbéricaLighy effects on circadian locomotor activity of Lacerta lepida under constant temperatureEvaluación de diferentes métodos para estimar el área de campeo de dos especies de iguánidos.Un Casal de Cartaxo-Nottenho (Saxicola rubetra) a criar em Portugal.Nidificación de Passer hispaniolensis en antiguos nidos de Dendrocopos major thanneri.Observación de un lince ibérico (Lynx pardina) en la provincia de Lugo. Norte de España.El Visón americano, Mustela vison SCHREBER, 1777 (MAMMALIA, MUSTELIDAE) en Cataluña, N.E. de la Península Ibérica.Peer reviewe